Redefining Event Variables for Efficient Modeling of
نویسندگان
چکیده
We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath (1994)]. We propose a new MILP formulation based on this concept, defining non-uniform time periods as needed and decision variables that are not time-indexed. It can handle complicated multi-product/multi-stage machine processes, with production lines merging and diverging, and with minimum and maximum batch sizes. We compare it with earlier models and show that it can solve problems with small to medium demands relative to batch sizes in reasonable computer times.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملThe Effect of Experiment Range of Control Variables on the Efficiency of Regression Modeling
The efficient planning of each system requires an understanding of the true nature of the system. Regression models also represent a system that its input variables, the role of the system input, its variables coefficients, the role of the system process, and its response variables, play the role of the system output. Therefore, for exact regression modeling and efficient planning, it's essenti...
متن کاملDesigning a model for holding mega sport events with an emphasis on national brand development
The present study seeks a model for holding major sporting events with an emphasis on national brand development. The research method is a mixture of qualitative and quantitative. In the quantitative part, the statistical population, including professors and sports activists, and the statistical sample was done by stratified random sampling. Adequate number for modeling in pls software was 300 ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کامل